proportional syllogism